1527 search results - page 181 / 306 » From Requirements to Design: Formalizing the Key Steps |
175
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
160
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...
184
click to vote
COMPGEOM
2006
ACM
16 years 14 days ago
2006
ACM
We present an optimal-time algorithm for computing (an implicit representation of) the shortest-path map from a fixed source s on the surface of a convex polytope P in three dime...
139
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
185
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...