Sutherland, Ivan :: Pioneers
Garbage Collected :: Languages
Logic based :: Languages
Multiparadigm :: Languages

eWeek - RSS Feeds

AMD Says U.S. Ends Antitrust Probe with No Action
Mon, 13 Oct 2008 11:37:59 -0400
A probe into potential antitrust violations involving graphics chips makers has ended, and no action was taken by the U.S. Department of Justice, according to Advance Micro Devices. - NEW YORK, Oct. 13 (Reuters) - The U.S. Department of Justice has ended its probe into potential antitrust violations involving graphics chips makers and taken no action, Advance Micro Devices said on Monday. The company said the DOJ had informed AMD and ATI Technologies on Friday that it had ...
McAfee Notes Spread of Bogus Security Software
Mon, 13 Oct 2008 11:26:08 -0400
McAfee warns of an increase in malware posing as legitimate security software in its bi-annual Security Threat journal report. McAfee also noted a jump in Trojans using social engineering techniques to spread, and reveals evidence that freecreditreport.com is the most popular domain for typosquatting. - Think it's safe to download a patch from your e-mail? Not so fast. According to a new report by McAfee, cyber-criminals are increasingly capitalizing on users looking to protect their PCs with the latest updates. In its bi-annual Security Journal threat report, McAfee noted a jump in the amount o...
eWeek Newsbreak, October 13, 2008
Mon, 13 Oct 2008 09:16:08 -0400
Apple's iPhone may finally have some competition. Last week RIM and Verizon Wireless unveiled the new touch screen smartphone called the Blackberry Thunder. Speaking of smart phones, the work force is fast becoming a mobile one. Whether they¹re using company issued Blackberries or their personal iPhone, users are accessing data, applications, e-mail and schedules. It¹s often unofficial and outside the bounds of IT, but Gartner research shows it¹s only a matter of time before they make it official and ask for IT support. The study also breaks down who's footing the bill, and how soon your company could be too. Security vendors such as Symantec, Trend Micro, Secure Computing, CA and Sophos made no fewer than 11 significant acquisitions in 2008. Find out who's buying who and how hefty the price tag. Own a Mac OS X 10.5 or Mac OS X 10.4.11? If you do, Apple has just released a massive security update. Ashley explains where you can go to download it. - Video Content....
Sun Microsystems, Fujitsu Offering New SPARC-Based Server
Mon, 13 Oct 2008 06:43:06 -0400
Sun Microsystems and Fujitsu are rolling out a new midrange server system dubbed the SPARC Enterprise T5440, which will be based on the UltraSPARC T2 Plus processor. While Sun and Fujitsu have been offering low-end systems that use the UltraSPARC T2 chip, this server is geared toward midmarket and enterprise companies that want to run database and CRM applications within their data center infrastructure. The T5440, which Sun and Fujitsu will both sell, is expected to compete against other Unix systems such as IBM Power Systems and HP's Integrity line. - Sun Microsystems and Fujitsu are rolling out a jointly developed midrange system, the SPARC Enterprise T5440 server, which is based on Sun's UltraSPARC T2 plus processor and is designed to run database and CRM applications. With the new T5440 system, Sun and Fujitsu are looking to bring a midr...
The Risks In Wildcard Certificates
Sat, 11 Oct 2008 09:43:20 -0400
They may not be real-world problems, but wildcard certificates have some definite theoretical problems. But they can be so much cheaper that users will buy them anyway. - The imperative to use SSL, for web authentication and encryption or VPNs, is reasonably universal. Competition has driven prices of certificates down over the years to the point where you can get conventional SSL certificates from reputable vendors for well under $100 per year. Another product gain...
FCC Likely to Recommend Unlicensed Spectrum Use
Fri, 10 Oct 2008 17:09:07 -0400
The Federal Communications Commission will soon release a report on the feasibility of opening up unused spectrum, or white spaces, for use with wireless broadband. The FCC engineering report will share results of several years of data collection, including field tests on Broadway in New York City and at FedEx Field in Maryland. - WASHINGTON (Reuters) A battle between tech companies like Google Inc and broadcasters over use of soon-to-be vacant airwaves will heat up soon as U.S. regulators release an anticipated report on the issue. The Federal Communications Commission's report will weigh in as early as Friday on the fea...

The Seattle Times: Business & Technology

Boeing engineers union weighs strike plan
Sun, 12 Oct 2008 22:17:00 -0700
As Boeing and striking Machinists return to the bargaining table, the company's engineers represented by SPEEA weigh their options.
Efforts to calm markets face test this week
Sun, 12 Oct 2008 22:24:59 -0700
After a whirl of weekend emergency meetings, government leaders on both sides of the Atlantic produced bold promises to rescue the global financial system, but still raced to work out the details to calm battered stock markets before they opened this morning.
Alliance may one day aid paralyzed, amputees Building on tech-robotic link
Sun, 12 Oct 2008 20:50:51 -0700
The Northwest's economic future seemed promising Friday, if you were inside a certain conference room at Microsoft's advanced research center in Redmond.

NYT > Technology

Revived Fervor for Smart Monitors Linked to a Server
Mon, 13 Oct 2008 14:38:35 -0000
Instead of having a big, loud and complex computer on your desk, what if you could have a quiet, thin machine that rarely needed an upgrade or a fix?
Korean Star’s Suicide Reignites Debate on Web Regulation
Mon, 13 Oct 2008 04:32:19 -0000
When movie star Choi Jin-sil was found dead, South Korean police, the media and members of Parliament immediately pointed fingers at the Internet.
Advertising: Newspapers’ Web Revenue Is Stalling
Mon, 13 Oct 2008 04:14:14 -0000
Newspapers, already facing a grim economic forecast, are digesting another piece of bad news.

CNN.com - Technology

City hopes to shuttle people in 'podcars'
Mon, 13 Oct 2008 10:47:49 -0400
Read full story for latest details.
Saudi prince to erect world's tallest building
Mon, 13 Oct 2008 10:00:44 -0400
Saudi Prince and billionaire Al-Waleed bin Talal says he will build the world's tallest building, planned to be over a kilometer (3,281 feet) high. The tower will be built in the Saudi town of Jeddah and will be part of a larger project that will cost $26.7 billion, (100 billion Saudi riyals) said the Prince's firm, Kingdom Holding Company.
Texts from elephant warn rangers of trouble
Sun, 12 Oct 2008 12:00:36 -0400
Read full story for latest details.

NPR Topics: Technology

Fast, Citywide WiFi Launches In Baltimore
Thu, 09 Oct 2008 08:19:00 -0400
The nation's first rollout of WiMax has launched in Baltimore. Host Steve Inskeep talks to tech commentator Mario Armstrong about the fourth generation Internet service. It's a wireless connection that is fast and allows a subscriber to roam across the city.
New Solar Cell Easy As Pizza To Make
Sat, 04 Oct 2008 12:16:00 -0400
The iJET is a new type of solar cell that's cheap and easy to make, requiring not much more than a pizza oven, some nail polish remover, and a common inkjet printer. Australian scientist Nicole Kuepper describes her invention.
SpaceX Celebrates First Successful Rocket Launch
Fri, 03 Oct 2008 13:53:00 -0400
SpaceX's flagship Falcon1 rocket has successfully launched from an island in the central Pacific, becoming the first privately-developed rocket to orbit the planet. NASA has already contracted SpaceX to begin private space flight missions to the International Space Station beginning in 2010.

BBC News | Technology | UK Edition

US tourist set for space station
Sun, 12 Oct 2008 07:19:17 -0000
US space tourist Richard Garriott follows in the footsteps of his astronaut father as he blasts off into space.
Music fans back legal downloads
Sun, 12 Oct 2008 23:08:00 -0000
Nearly three quarters of online music pirates would be be put off by warnings from their internet provider, suggests a survey.
Test explores if robots can think
Mon, 13 Oct 2008 10:09:34 -0000
An experiment takes place at Berkshire's University of Reading to see if robots are capable of intelligent thought.

Reuters Video: Technology

Japan's latest robots
Mon, 13 Oct 2008 06:19:22 -0400
Oct 13 - Japan puts its human-like robots on display.
Facebook eyes growth over profits
Sun, 12 Oct 2008 04:39:44 -0400
Oct. 12 - On a visit to London as part of a multi-city European trip, Facebook founder Mark Zuckeberg explains his strategy for navigating a tough economic climate.
Reuters Technology Week
Fri, 10 Oct 2008 14:38:38 -0400
Oct. 10 - Palin dukes it out digitally, super strong scents, and prize-winning protein.

AP Top Technology News At 11:10 a.m. EDT

UK university holds artificial intelligence test
By RAPHAEL G. SATTER Mon, 13 Oct 2008 15:11:01 -0000
READING, England (AP) -- Computers argued, cracked jokes and parried trick questions, all part of an annual test of artificial intelligence carried out at the University of Reading....
MySpace taps small businesses in ad money quest
By RACHEL METZ Mon, 13 Oct 2008 15:06:27 -0000
NEW YORK (AP) -- Just because your band doesn't have the bucks for a six-figure advertising campaign doesn't mean you wouldn't be interested in promoting it on MySpace....
Kenya's elephants send text messages to rangers
By KATHARINE HOURELD Mon, 13 Oct 2008 12:43:58 -0000
OL PEJETA, Kenya (AP) -- The text message from the elephant flashed across Richard Lesowapir's screen: Kimani was heading for neighboring farms....

CNET News.com

Gartner and UBS provide a mixed view on IT spending 2008 and 2009
Mon, 13 Oct 2008 08:31:00 -0700
Gartner releases a research report that forecasts a 2.3 percent growth in IT spending this year, while UBS Securities predicts a more dire outcome of a 5 to 15 percent decline.
'60 Minutes' video: Drone warfare in Iraq
Mon, 13 Oct 2008 08:29:57 -0700
UAVs like the Predator are a highly valued asset for the U.S. military as it pursues "fleeting and perishable" targets. Lesley Stahl reports.
Green news harvest: 'black silicon' solar cells
Mon, 13 Oct 2008 08:17:42 -0700
SiOnyx unveils enhanced silicon, Bloom Energy steps ahead with fuel cell, tough days for public clean energy companies, the nuclear fall-out from falling stock market, the price of oil's impact on clean energy, Chevron and DHL invest in clean tech.

 

Subscribe to Computers RSS feed

Constraints Archive - Holds comp.constraints FAQ, pages of constraint-related pointers, source code for various systems, benchmarks, directory of people interested in constraints, constraint bibliographies, collection of online papers, extensive links. Clearly the product of much work.

A Differential Approach to Graphical Interaction - The ad hoc manner in which direct manipulation interfaces have been designed and implemented restricts the types of interactive controls. This dissertation presents a new approach for a systematic method to implement flexible, combinable interactive controls.

Advanced Constraint Techniques for User Interface Implementation - Project to develop and explore using advanced constraint methods to make user interface software. Constraints as a general computational technique allow declaring a set of relationships between entities. A constraint satisfaction system is employed to automatically ensure that the relationships hold under changing conditions.

404 Artelys Kalis - Extensible constraint programming framework for fast solving of many kinds of combinatorial problems: schedules, timetables, resource allocation, network design, etc. Define constraints and heuristics. As C++ library or Java package. Port to Xpress-Mosel environment gives easy-to-use modeling.
Meta Description: [ Artelys Kalis is an extensible constraint programming framework enabling the user to define its own constraints and search heuristics. It is available as a C++ library and its port to Xpress-Mosel environment (Xpress-Kalis) offers easy-to-use modeling capabilities. ]

500 Automated Construction of Virtual Worlds Using Modeling Constraints - Designing and specifying 3D scenes is a tedious, time consuming process that often degenerates into trial and error. We propose a new way to form virtual worlds based on geometric modeling constraints and higher-level modeling abstractions.

Book: Foundations of Constraint Satisfaction - Description of book, Academic Press, release 1993: programs from book.

Book: Programming with Constraints: an Introduction - Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.

Brandeis Interval Arithmetic Constraint Solver - Java applet that solves non-linear real arithmetic constraints.

Cassowary - Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have values that satisfy the constraints.

Choco - Java library for constraint satisfaction problems (CSP), constraint programming (CP), explanation-based constraint solving (e-CP). Built on event-based propagation mechanism with backtrackable structures. [Open Source, BSD]

Constraint Handling Rules: CHR - High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now.

Constraint-based Languages and Environments for Building Interactive Systems - Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.

Constraints for the Web - Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author and viewer, via solving all the constraints.

Constraints: An International Journal - Covering all aspects of computing with constraints; on paper or online; fee required.
Meta Description: [ Constraints - Artificial Intelligence. Constraints provides a common forum for the many disciplines interested in constraint programming and constraint satisfaction and optimization, and the many application domains in which constra... ]

DeltaBlue Code Archive - For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.

DeltaBlue Constraint Solver - Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.

DeltaBlue: Benchmarking Java with Richards and DeltaBlue - Constraint solver benchmark, in Java; about 1000 lines of code. DeltaBlue first implemented by John Maloney at University of Washington, translated to many languages: C, C++, Java; Smalltalk. [Sun Microsystems Labs]

E-constraints.net - Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.

404 FSQP: Feasible Sequential Quadratic Programming - By AEM Design: a source code for minimizing the maximum of a set of smooth objective functions subject to general smooth constraints. Two versions, written in portable: Fortran 77 (FFSQP), standard C (CFSQP). Both are tested and run on most platforms.

Garnet Project - Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School of Computer Science, Carnegie Mellon University. Free: public domain.

Garnet Toolkit FAQ - Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University.

Garnet: Brad A. Myers - Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.

Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet - ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding support for multi-way constraints and hierarchies.
Meta Description: [ Constraints provide a useful mechanism for maintaining relations in user interface toolkits. Garnet is a widely used user interface toolkit with considerable functionality, based on one way, required constraints. Multi Garnet extends Garnet by adding support for multi way constraints and constraint ]

Gecode - Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD]

Graph Theory and Constraint Programming - University course: definitions, lecture notes, books, language descriptions, links.

Guide to Constraint Programming - Online tutorial/textbook for beginners to the area of constraint programming. This area is of the set of less known software technologies, but is evolving rapidly and has a growing, significant commercial interest.

GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces - Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages demand specifying many details about the geometric data of layout, the sequence in which items are displayed, the sequence in which events are handled.

ICOT Free Software - Free constraint software developed by Institute for New Generation Computer Technology (ICOT), Japan: Constraint MGTP (CMGTP) model generation theorem prover (MGTP), MGTP-G, KLIC, some cu-Prologs, and documents. FTP site.

ILOG Solver - ILOG's constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching and resource-allocation applications with logical constraints.
Meta Description: [ ILOG CP is ILOG's constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, advanced-planning scheduling, sequencing, timetabling, configuration, dispatching and resource-allocation applicati... ]

Koalog Constraint Solver - Java library for constraint programming. It provides technology for solving satisfaction and optimization problems including: scheduling, planning, routing, time tabling, resource allocation, configuration and many others. KCS includes a solver on boolean, integer and set domains, global constraints. KCS also includes a local search solver useful for solving huge problems when exact methods are too slow.
Meta Description: [ Koalog Constraint Solver is a java library for constraint programming ]

MAC - FTP download, no separate documentation.

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems - ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
Meta Description: [ In the last twenty years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased to such an extent that it quickly became necessary to compare their performances in order to propose a small number of good methods. These comparisons often led... ]

Natural Programming - Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Development of Software. School of Computer Science, Carnegie Mellon University; NSF funded.

Omega Project - Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.

Pascal Van Hentenryck - Brown University, US. Some constraint papers.

Principles and Practice of Constraint Programming - Book by Vijay Saraswat and Pascal Van Hentenryck. Description of book, MIT Press: collection of 23 original papers is first effort to assemble the work of constraint programming researchers scattered across the world in multiple disciplines.

ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language - The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.
Meta Description: [ The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. In addition to combining the useful features of both paradigms, there are synergistic effects of this integration, such as the ability to define constraints over user ... ]

Seventh International Conference on Principles and Practice of Constraint Programming - 2001 November 26 - December 1, Paphos, Cyprus.
Meta Description: [ CP 2001, International Conference on Principles and Practice of Constraint Programming, Nov 26 - Dec 1, 2001, Paphos, Cyprus ]

StarFLIP++ - Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.

Techno-Pulsar - Potent new optimization technology for multidimensional optimization practical problems with continuous, breaking nondifferentiative and stochastic goal functions, 100 or more variables, cuts the cost and time to creation of new technical systems.

ThingLab - A Constraint-Oriented Simulation Laboratory - Book by Alan Borning.

ThingLabII: Constraint-based user interfaces - Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier, module compiler, construction-set style user interface, many tools, extensible set of primitive user interface building blocks.

University of Essex: Constraint Programming Group - Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS; Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.
Meta Description: [ This web site hosts research work lead by Edward Tsang. Major work cover constraint satisfaction, optimization, computational finance and economics. ]

404 University of London, Royal Holloway: Constraints Group - In the Department of Computer Science: descriptions, research, members, publications, links.

University of Washington: Constraint-Based Systems - Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.