233 search results - page 27 / 47 » BlenX Static and Dynamic Semantics |
RSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
The advent of Service Oriented Architecture makes services the most flexible, platform-independent choice for exposing and integrating business functionality across a network. Ho...
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
ECAI
2000
Springer
14 years 5 hour ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...