56 search results - page 2 / 12 » Implementing Object-Z with Perfect Developer |
CP
2008
Springer
13 years 7 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
TPDS
1998
13 years 5 months ago
1998
We present a set of advanced program parallelization techniques that are able to signi cantly improve the performance of application programs. We present evidence for this improve...
ISCAS
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract— Time encoding is a mechanism for representing the information contained in a continuous time, bandlimited, analog signal as the zero-crossings of a binary signal. Time ...
ICCS
2003
Springer
13 years 10 months ago
2003
Springer
The exact enumeration of most interesting combinatorial problems has exponential computational complexity. The finite-lattice method reduces this complexity for most two-dimension...
WICSA
2008
13 years 6 months ago
2008
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...