1010 search results - page 52 / 202 » Designing Then and Now |
TPLP
2010
14 years 9 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
ENTCS
2008
14 years 11 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
ASPDAC
2010
ACM
14 years 9 months ago
2010
ACM
Over the course of this decade, uniprocessor chips have given way to multi-core chips which have become the primary building blocks of today's computer systems. The presence o...
104
Voted
IEEEICCI
2005
IEEE
15 years 4 months ago
2005
IEEE
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
MMS
2008
14 years 11 months ago
2008
Personal photo books are a popular means of capturing important moments and people have ever created this kind of multimedia presentations. With the advent of digital photography ...