1481 search results - page 144 / 297 » Software controlled power management |
116
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
110
click to vote
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
The Dynamic Execution Layer Interface (DELI) offers the following unique capability: it provides fine-grain control over the execution of programs, by allowing its clients to obse...
116
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
110
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Current research on code clones tries to address the question whether or not code clones are harmful for the quality of software. As most of these studies are based on the fine...
111
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...