2588 search results - page 144 / 518 » Engineering Systems Which Generate Emergent Functionalities |
104
click to vote
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
The grid is the next generation computing infrastructure able to handle the growing requirements for computing power. Portals are anticipated as the user’s access point to these...
142
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
153
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
177
click to vote
PFE
2001
Springer
15 years 9 months ago
2001
Springer
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...
171
click to vote
FMSD
2007
15 years 4 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...