Sciweavers

1774 search results - page 111 / 355
» Modeling and implementing software architecture with acme an...
Sort
View
137
Voted
CCGRID
2003
IEEE
15 years 9 months ago
Merging the CCA Component Model with the OGSI Framework
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
Madhusudhan Govindaraju, Sriram Krishnan, Kenneth ...
125
Voted
ASPDAC
2008
ACM
164views Hardware» more  ASPDAC 2008»
15 years 5 months ago
The Shining embedded system design methodology based on self dynamic reconfigurable architectures
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
Carlo Curino, Luca Fossati, Vincenzo Rana, Frances...
128
Voted
EUROSYS
2007
ACM
16 years 23 days ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
142
Voted
WWW
2004
ACM
16 years 4 months ago
VersaTutor: architecture for a constraint-based intelligent tutor generator
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
153
Voted
APLAS
2011
ACM
14 years 3 months ago
Soundness of Data Flow Analyses for Weak Memory Models
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
Jade Alglave, Daniel Kroening, John Lugton, Vincen...