Sciweavers

1521 search results - page 227 / 305
» Efficient Design Validation Based on Cultural Algorithms
Sort
View
ECRTS
2010
IEEE
15 years 4 months ago
AIRS: Supporting Interactive Real-Time Applications on Multicore Platforms
Modern real-time systems increasingly operate with multiple interactive applications. While these systems often require reliable quality of service (QoS) for the applications, eve...
Shinpei Kato, Ragunathan Rajkumar, Yutaka Ishikawa
130
Voted
DCG
2002
66views more  DCG 2002»
15 years 3 months ago
Generation of Oriented Matroids - A Graph Theoretical Approach
We discuss methods for the generation of oriented matroids and of isomorphism classes of oriented matroids. Our methods are based on single element extensions and graph theoretica...
Lukas Finschi, Komei Fukuda
153
Voted
FCCM
1997
IEEE
199views VLSI» more  FCCM 1997»
15 years 8 months ago
The RAW benchmark suite: computation structures for general purpose computing
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
Jonathan Babb, Matthew Frank, Victor Lee, Elliot W...
INFOCOM
2008
IEEE
15 years 10 months ago
The Inframetric Model for the Internet
—A large amount of algorithms has recently been designed for the Internet under the assumption that the distance defined by the round-trip delay (RTT) is a metric. Moreover, man...
Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Vien...
138
Voted
EOR
2008
111views more  EOR 2008»
15 years 3 months ago
Machine-part cell formation in group technology using a modified ART1 method
Group Technology (GT) is a useful way of increasing the productivity for manufacturing high quality products and improving the flexibility of manufacturing systems. Cell formation...
Miin-Shen Yang, Jenn-Hwai Yang