828 search results - page 62 / 166 » types 2000 |
IFIPTCS
2000
14 years 17 days 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...
DAC
2000
ACM
14 years 10 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...
ECHT
1992
14 years 1 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
13 years 10 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...
POPL
2000
ACM
14 years 17 days 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...