Sciweavers

9842 search results - page 580 / 1969
» Compositional timing analysis
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
The Next Generation Software Workshop - IPDPS'07
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
Frederica Darema
ISSTA
2006
ACM
16 years 1 months ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
DAS
2004
Springer
16 years 17 days ago
Tilting at Windmills: Adventures in Attempting to Reconstruct Don Quixote
Despite the current practice of re-keying most documents placed in digital libraries, we continue to try to improve accuracy of automated recognition techniques for obtaining docum...
A. Lawrence Spitz
ECCV
2010
Springer
16 years 15 days ago
Geometric Image Parsing in Man-Made Environments
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...
CODES
2003
IEEE
16 years 14 days ago
Early estimation of the size of VHDL projects
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
William Fornaciari, Fabio Salice, Daniele Paolo Sc...