Sciweavers

5376 search results - page 458 / 1076
» Scalable Kernel Systems
Sort
View
TASE
2007
IEEE
16 years 1 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
ISCAS
2006
IEEE
87views Hardware» more  ISCAS 2006»
16 years 27 days ago
NoC monitoring: impact on the design flow
Abstract— Networks-on-chip (NoCs) are a scalable interconnect solution to large scale multiprocessor systems on chip and are rapidly becoming reality. As the ratio of embedded co...
Calin Ciordas, Kees Goossens, Andrei Radulescu, Tw...
WLP
2004
Springer
16 years 6 days ago
SQL Based Frequent Pattern Mining with FP-Growth
Scalable data mining in large databases is one of today’s real challenges to database research area. The integration of data mining with database systems is an essential componen...
Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist
INFOCOM
2003
IEEE
16 years 5 days ago
EMPOWER: A Network Emulator for Wireless and Wireline Networks
— The increasing need of protocol development environments and network performance evaluation tools gives rise to the research of flexible, scalable, and accurate network emulato...
Pei Zheng, Lionel M. Ni
ISCC
2003
IEEE
120views Communications» more  ISCC 2003»
16 years 5 days ago
DIP: Distance Information Protocol for IDMaps
The Internet Distance Map Service (IDMaps) [3] provides distance estimates between any pair of hosts connected to the Internet. The IDMaps system comprises two component types: Tr...
Yixin Jin, Beichuan Zhang, Vasileios Pappas, Lixia...