Sciweavers

9842 search results - page 682 / 1969
» Compositional timing analysis
Sort
View
ISSAC
2007
Springer
121views Mathematics» more  ISSAC 2007»
16 years 1 months ago
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
Eric Robinson, Daniel Kunkle, Gene Cooperman
IROS
2006
IEEE
115views Robotics» more  IROS 2006»
16 years 1 months ago
An Analysis of Random Peer-to-Peer Communication for System-Level Coordination in Decentralized Multiple-Robot Systems
— Inter-robot communication is essential if general purpose intelligent decentralized multiple-robot systems are to become a reality. Traditionally, explicit communication amongs...
Chris A. C. Parker, Hong Zhang
CEC
2005
IEEE
16 years 1 months ago
An empirical analysis of the grouping genetic algorithm: the timetabling case
A grouping genetic algorithm (GGA) for the university course timetabling problem is outlined. We propose six different fitness functions, all sharing the same common goal, and look...
Rhydian Lewis, Ben Paechter
DATE
2005
IEEE
158views Hardware» more  DATE 2005»
16 years 1 months ago
Modeling and Analysis of Loading Effect in Leakage of Nano-Scaled Bulk-CMOS Logic Circuits
In nanometer scaled CMOS devices significant increase in the subthreshold, the gate and the reverse biased junction band-toband-tunneling (BTBT) leakage, results in the large incr...
Saibal Mukhopadhyay, Swarup Bhunia, Kaushik Roy
ISPASS
2005
IEEE
16 years 1 months ago
Performance Analysis of a New Packet Trace Compressor based on TCP Flow Clustering
In this paper we study the properties of a new packet trace compression method based on clustering of TCP flows. With our proposed method, the compression ratio that we achieve i...
Raimir Holanda, Javier Verdú, Jorge Garc&ia...