Sciweavers

6274 search results - page 897 / 1255
» Proofs, Programs, Processes
Sort
View
168
Voted
JTRES
2009
ACM
15 years 10 months ago
Real time Java on resource-constrained platforms with Fiji VM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
Filip Pizlo, Lukasz Ziarek, Jan Vitek
CIMCA
2008
IEEE
15 years 10 months ago
Collective Operations as Building Blocks for Agent Cooperation
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
Nguyen Tuan Duc, Ikuo Takeuchi
122
Voted
PIMRC
2008
IEEE
15 years 10 months ago
An optimization framework for the joint routing and scheduling in Wireless Mesh Networks
—In this paper, we address the problem of computing the transport capacity of Wireless Mesh Networks dedicated to Internet access. Routing and transmission scheduling have a majo...
Christelle Molle, Fabrice Peix, Hervé Rivan...
116
Voted
BIBM
2007
IEEE
159views Bioinformatics» more  BIBM 2007»
15 years 10 months ago
Predicting Future High-Cost Patients: A Real-World Risk Modeling Application
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
Sai T. Moturu, William G. Johnson, Huan Liu
CIRA
2007
IEEE
113views Robotics» more  CIRA 2007»
15 years 10 months ago
Development of Control for a Serpentine Robot
—This paper describes the development and testing of control of the OmniTread OT-4 robot by the Seventh Generation (7G) Control System. Control of OT-4 was developed in the Yobot...
William R. Hutchison, Betsy J. Constantine, Johann...