3660 search results - page 446 / 732 » Parallel Program Archetypes |
167
Voted
PDP
2005
IEEE
16 years 8 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
149
click to vote
PPOPP
2005
ACM
16 years 7 days ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
160
click to vote
COORDINATION
2005
Springer
16 years 6 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
181
click to vote
EGC
2005
Springer
16 years 6 days ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...
168
click to vote
PACT
2005
Springer
16 years 5 days ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...