3706 search results - page 315 / 742 » KtSeqC: System Description |
160
Voted
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In dynamic heterogeneous environments, such as Pervasive Computing, context-aware adaptation is a key concept to meet the varying requirements of different clients. To enable such...
161
Voted
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...
186
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...
181
Voted
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...
185
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...