9806 search results - page 173 / 1962 » Engineering adaptive requirements |
171
click to vote
JSAT
2010
15 years 1 months ago
2010
In this paper we describe aqme'10, the version of the Adaptive QBF Multi-Engine submitted to QBFEVAL'10.
194
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
142
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Though physical sensing instruments have long been used in astronomy, biology, and civil engineering, the recent emergence of wireless sensor networks and RFID has spurred a renai...
145
click to vote
ISPD
2006
ACM
16 years 13 days ago
2006
ACM
In this invited note we outline several algorithms and features appearing in Capo 10, free open-source software for congestion-driven standard cell placement, mixed-size placement...
170
click to vote
CCE
2007
15 years 8 months ago
2007
: Product data, information and knowledge are the core ICT resources for collaborative design. This paper describes five different approaches to exchanging and sharing product data...