1312 search results - page 209 / 263 » Embedded contract languages |
120
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
125
Voted
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...
114
click to vote
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
An important class of searches on the world-wide-web has the goal to find an entry page (homepage) of an organisation. Entry page search is quite different from Ad Hoc search. Ind...
112
Voted
TCAD
2002
15 years 3 months ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
149
Voted
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...