2271 search results - page 369 / 455 » Scalable Software Libraries |
135
click to vote
ISEUD
2009
Springer
15 years 10 months ago
2009
Springer
All software today is written using libraries, toolkits, frameworks and other application programming interfaces (APIs). We performed a user study of the online documentation a lar...
120
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
157
click to vote
NOCS
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
132
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
138
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...