601 search results - page 94 / 121 » Argumentation support: from technologies to tools |
158
click to vote
ISPASS
2007
IEEE
16 years 13 days ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
195
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
153
click to vote
CIKM
2009
Springer
16 years 22 days ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
160
click to vote
ASPLOS
2006
ACM
16 years 4 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
164
click to vote
SE
2008
15 years 7 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...