1585 search results - page 176 / 317 » A framework for computer-aided validation |
225
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
155
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...
184
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
158
click to vote
SCOPES
2005
Springer
15 years 11 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
151
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...