Sciweavers

214 search results - page 30 / 43
» toms 2010
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
CNSM
2010
13 years 2 months ago
Capacity planning and power management to exploit sustainable energy
This paper describes an approach for designing a power management plan that matches the supply of power with the demand for power in data centers. Power may come from the grid, fro...
Daniel Gmach, Jerry Rolia, Cullen Bash, Yuan Chen,...
DSP
2007
13 years 7 months ago
Feasibility of impact-acoustic emissions for detection of damaged wheat kernels
A non-destructive, real time device was developed to detect insect damage, sprout damage, and scab damage in kernels of wheat. Kernels are impacted onto a steel plate and the resu...
Tom C. Pearson, A. Enis Çetin, Ahmed H. Tew...
EOR
2010
87views more  EOR 2010»
13 years 7 months ago
On the system optimum of traffic assignment in M/G/c/c state-dependent queueing networks
-- The classical Wardrop System Optimum (SO) assignment model assumes that the users will cooperate with each other in order to minimize the overall travel costs. The importance of...
Frederico R. B. Cruz, Tom Van Woensel, James MacGr...
IGARSS
2010
13 years 5 months ago
The Thermal Infrared Sensor on the Landsat Data Continuity Mission
The Landsat Data Continuity Mission (LDCM), a joint NASA and USGS mission, is scheduled for launch in December, 2012. The LDCM instrument payload will consist of the Operational L...
Dennis Reuter, Cathy Richardson, James Irons, Rick...