3365 search results - page 621 / 673 » Digital System Design: Architectures, Methods and Tools |
124
click to vote
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Technology scaling trends have forced designers to consider alternatives to deeply pipelining aggressive cores with large amounts of performance accelerating hardware. One alterna...
200
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
141
click to vote
ETS
2000
IEEE
14 years 11 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...