15840 search results - page 2637 / 3168 » The Control of Synchronous Systems |
191
click to vote
RSEISP
2007
Springer
16 years 1 months ago
2007
Springer
Most information about the external world comes from our visual brain. However, it is not clear how this information is processed. We will analyze brain responses using machine lea...
223
click to vote
BROADNETS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Advance reservation is a mechanism to guarantee the availability of resources when they are needed. In the context of LambdaGrid, this mechanism is used to provide data-intensi...
205
click to vote
ISCA
2005
IEEE
16 years 23 days ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
194
click to vote
KBSE
2005
IEEE
16 years 23 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
196
click to vote
SIGMETRICS
2005
ACM
16 years 22 days ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...