2545 search results - page 285 / 509 » An Architectural Discussion on DSPL |
187
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
215
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
This article outlines several projects aimed at generating electrical energy by passively tapping a variety of human body sources and activities. After summarizing different energ...
173
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
150
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
150
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...