3429 search results - page 566 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
260
Voted
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
117
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
108
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
111
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
133
Voted
TOMACS
1998
15 years 2 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...