7080 search results - page 114 / 1416 » Designing High Integrity Systems Using Aspects |
101
click to vote
AADEBUG
2005
Springer
15 years 4 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
FPLAY
2008
15 years 23 days ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
COMPLIFE
2006
Springer
15 years 2 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...
IEEEPACT
2003
IEEE
15 years 4 months ago
2003
IEEE
Recent research shows that the high occupancy of Coherence Controllers (CCs) is a major performance bottleneck in scalable shared-memory multiprocessors. In this paper, we propose...
IEEESCC
2007
IEEE
15 years 5 months ago
2007
IEEE
— Integrated systems are composed of components that exchange information (i.e., interoperate [5]). These components include Graphical User Interface (GUI) APplications (GAPs) an...