1141 search results - page 192 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
147
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Application-specific extensions to the computational capabilities of a processor provide an efficient mechanism to meet the growing performance and power demands of embedded appl...
158
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
182
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
266
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In previous papers [SC05, SBC+07], some of us predicted the end of "one size fits all" as a commercial relational DBMS paradigm. These papers presented reasons and exper...
156
click to vote
KYOTODL
2000
15 years 7 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...