Sciweavers

2609 search results - page 80 / 522
» Models for Global Constraint Applications
Sort
View
160
Voted
EMSOFT
2010
Springer
15 years 1 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
127
Voted
RC
2002
72views more  RC 2002»
15 years 3 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
129
Voted
ICN
2009
Springer
15 years 1 months ago
Simulation Platform for Wireless Sensor Networks Based on Impulse Radio Ultra Wide Band
Impulse Radio Ultra Wide Band (IR-UWB) is a promising technology to address Wireless Sensor Network (WSN) constraints. However, existing network simulation tools do not provide a ...
Abdoulaye Berthe, Aubin Lecointre, Daniela Dragomi...
109
Voted
ICCAD
2005
IEEE
110views Hardware» more  ICCAD 2005»
16 years 17 days ago
Performance analysis of carbon nanotube interconnects for VLSI applications
The work in this paper analyses the applicability of carbon nanotube (CNT) bundles as interconnects for VLSI circuits, while taking into account the practical limitations in this ...
Navin Srivastava, Kaustav Banerjee
ESI
2010
85views more  ESI 2010»
15 years 2 months ago
Application of uncertainty visualization methods to meteorological trajectories
— We present applications of uncertainty visualization methods to a global meteorological model, allowing better understanding of the composition of the local environment of deve...
Ryan A. Boller, Scott A. Braun, Jadrian Miles, Dav...