643 search results - page 103 / 129 » Software Landscapes: Visualizing the Structure of Large Soft... |
GG
2004
Springer
15 years 2 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
141
click to vote
CIDR
2007
14 years 11 months ago
2007
Though database technology has been remarkably successful in building a large market and adapting to the changes of the last three decades, its impact on the broader market of inf...
102
click to vote
ISCA
2012
IEEE
12 years 12 months ago
2012
IEEE
When multiple processor (CPU) cores and a GPU integrated together on the same chip share the off-chip main memory, requests from the GPU can heavily interfere with requests from t...
MKM
2004
Springer
15 years 2 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...