Sciweavers

12333 search results - page 201 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
SC
1995
ACM
15 years 10 months ago
Lazy Release Consistency for Hardware-Coherent Multiprocessors
Release consistency is a widely accepted memory model for distributed shared memory systems. Eager release consistency represents the state of the art in release consistent protoc...
Leonidas I. Kontothanassis, Michael L. Scott, Rica...
CC
2011
Springer
283views System Software» more  CC 2011»
14 years 10 months ago
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL
Abstract. Heterogeneous multi-core platforms are increasingly prevalent due to their perceived superior performance over homogeneous systems. The best performance, however, can onl...
Dominik Grewe, Michael F. P. O'Boyle
ESAW
2009
Springer
16 years 1 months ago
A Goal-Oriented Approach for Modelling Self-organising MAS
Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environ...
Mirko Morandini, Frédéric Migeon, Ma...
156
Voted
BIRTHDAY
2007
Springer
16 years 19 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
161
Voted
BMAS
2000
IEEE
15 years 10 months ago
Towards a Specification Notation for High-Level Synthesis of Mixed-Signal and Analog Systems
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
Alex Doboli, Ranga Vemuri