5838 search results - page 730 / 1168 » A File System for System Programming in Ubiquitous Computing |
141
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
Persistent programming languages are targetted primarily at application systems involving complex data structures and relationships, as typi ed by Geographical Information Systems...
174
click to vote
APPINF
2003
15 years 8 months ago
2003
Consider a parallel program with n processes and a synchronization granularity z. Consider also two multiprocessors: a multiprocessor with q processors and run-time reallocation o...
204
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
186
Voted
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...
201
Voted
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...