Sciweavers

3198 search results - page 351 / 640
» Evolutionary Computation in Structural Design
Sort
View
DATE
2007
IEEE
117views Hardware» more  DATE 2007»
16 years 29 days ago
Rapid and accurate latch characterization via direct Newton solution of setup/hold times
Characterizing setup/hold times of latches and registers, a crucial component for achieving timing closure of large digital designs, typically occupies months of computation in in...
Shweta Srivastava, Jaijeet S. Roychowdhury
CIG
2005
IEEE
16 years 8 days ago
On TRACS: Dealing with a Deck of Double-Sided Cards
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
Kevin Burns
SIGADA
2005
Springer
16 years 3 days ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco
EUROPAR
2003
Springer
15 years 12 months ago
iClouds - Peer-to-Peer Information Sharing in Mobile Environments
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...
Andreas Heinemann, Jussi Kangasharju, Fernando Lya...
HPCN
1998
Springer
15 years 11 months ago
The GRED Graphical Editor for the GRADE Parallel Program Development Environment
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
Péter Kacsuk, Gábor Dózsa, Ti...