3706 search results - page 426 / 742 » OntoComP System Description |
156
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper we propose an on-chip bus PMU which makes accurate estimates of system power consumption from a first-order linear power model by utilizing system-level activity in...
181
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Follow The Sun (FTS) is a special case of global software development. FTS means that software work is handed off every day from one development site to the next -- many time zone...
175
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
176
click to vote
CIDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Protecting and securing sensitive information are critical challenges for businesses. Deliberate and intended actions such as malicious exploitation, theft or destruction of dat...
146
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...