Sciweavers

6409 search results - page 689 / 1282
» A Computational Algorithm for Origami Design
Sort
View
FPL
2006
Springer
124views Hardware» more  FPL 2006»
15 years 10 months ago
A Dynamically Reconfigurable Queue Scheduler
In this paper we present the design and implementation of a dynamically reconfigurable system for packet queue scheduling. Two widely accepted queue schedulers have been implement...
Christoforos Kachris, Stamatis Vassiliadis
177
Voted
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 8 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
DIALM
2005
ACM
203views Algorithms» more  DIALM 2005»
15 years 8 months ago
Topological hole detection in wireless sensor networks and its applications
The identification of holes in a wireless sensor network is of primary interest since the breakdown of sensor nodes in a larger area often indicates one of the special events to ...
Stefan Funke
157
Voted
DAWAK
2008
Springer
15 years 8 months ago
Mining Conditional Cardinality Patterns for Data Warehouse Query Optimization
Abstract. Data mining algorithms are often embedded in more complex systems, serving as the provider of data for internal decision making within these systems. In this paper we add...
Mikolaj Morzy, Marcin Krystek
SIMUTOOLS
2008
15 years 7 months ago
DeSiNe: a flow-level QoS simulator of networks
In this paper we present DeSiNe, a modular flow-level network simulator. DeSiNe is aimed at performance analysis and benchmarking of Quality of Service routing algorithms and traf...
Tom Kleiberg, Bingjie Fu, Fernando A. Kuipers, Pie...