1710 search results - page 259 / 342 » Parallelism in Structured Newton Computations |
FIDJI
2003
Springer
14 years 3 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
FIDJI
2003
Springer
14 years 3 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
ICPPW
2002
IEEE
14 years 3 months ago
2002
IEEE
We propose the implementation of a distributed system for DL storage and retrieval which relies on two earlier developed technologies: buckets and document linking based on user r...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...