4257 search results - page 88 / 852 » The Logical Modularity of Programs |
128
click to vote
ACSD
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
135
click to vote
IJCAI
2007
15 years 4 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
123
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
144
click to vote
WCET
2010
15 years 11 days ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
IFIP
1999
Springer
15 years 6 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...