4635 search results - page 831 / 927 » Modeling Design Knowledge on Structure |
166
Voted
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
289
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
164
click to vote
MICRO
2009
IEEE
16 years 8 days ago
2009
IEEE
A key challenge in architecting a CMP with many cores is maintaining cache coherence in an efficient manner. Directory-based protocols avoid the bandwidth overhead of snoop-based ...
142
click to vote
SIGIR
2009
ACM
16 years 4 days ago
2009
ACM
With the increasing importance of search systems on the web, there is a continuing push to design interfaces which are a better match with the kinds of real-world tasks in which u...
193
click to vote
MICRO
2008
IEEE
16 years 16 hour ago
2008
IEEE
— As semiconductor processing techniques continue to scale down, transient faults, also known as soft errors, are increasingly becoming a reliability threat to high-performance m...