4880 search results - page 598 / 976 » Manuals as Structured Programs |
163
click to vote
TOOLS
1992
IEEE
15 years 11 months ago
1992
IEEE
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
225
click to vote
TOOLS
1992
IEEE
15 years 11 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
190
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
167
Voted
AIPR
2004
IEEE
15 years 10 months ago
2004
IEEE
The Intelligent Systems Division of the National Institute of Standards and Technology has been engaged for several years in developing real-time systems for autonomous driving. A...
261
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a method to visit all nodes in a forest of data structures while taking into account object placement. We call the technique a Localized Tracing Scheme as it improves lo...