1648 search results - page 131 / 330 » Structuring namespace descriptions |
124
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
133
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
147
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
: This paper presents FROSTY, a computer program for automatically extracting the hierarchy of a large-scale digital CMOS circuit from its transistor-level netlist description and ...
134
click to vote
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
156
click to vote
DATESO
2009
15 years 1 months ago
2009
Indexing methods for efficient processing of multidimensional data are very requested in many fields, like geographical information systems, drawing documentations etc. Well-known ...