828 search results - page 62 / 166 » types 2000 |
132
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
111
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
119
click to vote
ECHT
1992
15 years 6 months ago
1992
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
COLING
2000
15 years 3 months ago
2000
Work on the production of texts in English describing instances of a particular event type from multiple news sources will be described. A system has been developed which extracts...
136
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...