22560 search results - page 262 / 4512 » Development of Transportation Systems |
171
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
147
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
174
Voted
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
174
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system ...
156
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Computer systems are resource constrained. Application adaptation is a useful way to optimize system resource usage while satisfying the application performance constraints. Previ...