Sciweavers

4498 search results - page 675 / 900
» How to Invent Functions
Sort
View
DAC
2005
ACM
15 years 6 months ago
Circuit optimization using statistical static timing analysis
In this paper, we propose a new sensitivity based, statistical gate sizing method. Since circuit optimization effects the entire shape of the circuit delay distribution, it is dif...
Aseem Agarwal, Kaviraj Chopra, David Blaauw, Vladi...
COLCOM
2008
IEEE
15 years 6 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
CSCW
2008
ACM
15 years 6 months ago
Pushing relevant artifact annotations in collaborative software development
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
Uri Dekel, James D. Herbsleb
ICADL
2007
Springer
112views Education» more  ICADL 2007»
15 years 6 months ago
Humanities Graduate Students' Use Behavior on Full-Text Databases for Ancient Chinese Books
Digitizing ancient books, especially those related to the humanities, is practiced in many countries. The number of full-text databases in the humanities is increasing. Studies hav...
Ming-der Wu, Shih-chuan Chen
ECAI
2008
Springer
15 years 6 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...