5376 search results - page 220 / 1076 » Scalable Kernel Systems |
107
Voted
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
135
Voted
SOSP
2001
ACM
16 years 1 months ago
2001
ACM
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands...
154
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
148
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
A challenge in data analysis and visualization is to build new-generation software tools and systems to truly accelerate scientific discoveries. The recent focus of Princeton’s ...
152
Voted
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...