Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ENTCS
2006
168views more  ENTCS 2006»
10 years 10 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
ENTCS
2006
101views more  ENTCS 2006»
10 years 10 months ago
Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
Isar Stubbe
ENTCS
2006
111views more  ENTCS 2006»
10 years 10 months ago
Token-Passing Nets: Call-by-Need for Free
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
François-Régis Sinot
ENTCS
2006
110views more  ENTCS 2006»
10 years 10 months ago
Semantic Interoperability of Heterogeneous Semantic Resources
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
Catarina Ferreira Da Silva, Lionel Médini, ...
ENTCS
2006
102views more  ENTCS 2006»
10 years 10 months ago
Slicing XML Documents
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
Josep Silva
ENTCS
2006
120views more  ENTCS 2006»
10 years 10 months ago
Temporal Assertions using AspectJ
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
Volker Stolz, Eric Bodden
ENTCS
2006
125views more  ENTCS 2006»
10 years 10 months ago
Parallel Assignments in Software Model Checking
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
Murray Stokely, Sagar Chaki, Joël Ouaknine
ENTCS
2006
131views more  ENTCS 2006»
10 years 10 months ago
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Oliver Shaw, L. Jason Steggles, Anil Wipat
ENTCS
2006
136views more  ENTCS 2006»
10 years 10 months ago
Adaptive Application of SAT Solving Techniques
New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in al...
Ohad Shacham, Karen Yorav
ENTCS
2006
118views more  ENTCS 2006»
10 years 10 months ago
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
books