1975 search results - page 284 / 395 » Property analysis and design understanding |
176
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
271
click to vote
SIGCSE
2006
ACM
16 years 13 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
217
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
160
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
The ever-increasing importance of main memory latency and bandwidth is pushing CMPs towards caches with higher capacity and associativity. Associativity is typically improved by in...
168
click to vote
PEPM
2007
ACM
16 years 18 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...