2944 search results - page 252 / 589 » Robust Semantic Construction |
160
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
145
click to vote
ACSD
2005
IEEE
16 years 13 days ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
205
click to vote
ASWEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
186
click to vote
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
152
click to vote
SKG
2005
IEEE
16 years 11 days ago
2005
IEEE
Currently most centralized RDF storage and query architectures have problems in query performance and scalability. In this paper we present a distributed RDF query architecture to ...