10072 search results - page 1395 / 2015 » Composition of Model Programs |
211
Voted
IEEEPACT
2005
IEEE
16 years 27 days ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
204
Voted
ICLP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
196
click to vote
IPSN
2005
Springer
16 years 24 days ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
200
click to vote
WEA
2005
Springer
16 years 23 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
200
Voted
CSCW
2004
ACM
16 years 22 days ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...