2474 search results - page 207 / 495 » Kitchen of the Future and Applications |
182
click to vote
EGH
2003
Springer
15 years 12 months ago
2003
Springer
We show how a future graphics processor unit (GPU), enhanced with random read and write to video memory, can represent, refine and adjust complex meshes arising in modeling, simu...
208
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
177
click to vote
IDEAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
139
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditionally, the telecom industry has used clusters to meet its carrier-class requirements of high availability, reliability, and scalability, while relying on cost-effective ha...
166
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present two classes of distributed algorithms called DRBA and DOBA, for decentralized, proactive resource allocation in asynchronous real-time distributed systems. The objectiv...