Sciweavers

3169 search results - page 144 / 634
» A General Framework for Large Scale Systems Development
Sort
View
CCE
2006
15 years 4 months ago
A multiscale systems approach to microelectronic processes
This paper describes applications of molecular simulation to microelectronics processes and the subsequent development of techniques for multiscale simulation and multiscale syste...
Richard D. Braatz, Richard C. Alkire, Edmund G. Se...
133
Voted
IPPS
1999
IEEE
15 years 9 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
14 years 11 months ago
Feedback control of the National Airspace System to mitigate weather disruptions
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
Jerome Le Ny, Hamsa Balakrishnan
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
15 years 10 months ago
Division blocks and the open-ended evolution of development, form, and behavior
We present a new framework for artificial life involving physically simulated, three-dimensional blocks called Division Blocks. Division Blocks can grow and shrink, divide and fo...
Lee Spector, Jon Klein, Mark Feinstein
CIKM
2007
Springer
15 years 10 months ago
Developing learning strategies for topic-based summarization
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...
Ouyang You, Sujian Li, Wenjie Li