2253 search results - page 434 / 451 » An Approach to Specifying Software Frameworks |
145
Voted
TPDS
2008
15 years 3 months ago
2008
This paper presents the Mitosis framework, which is a combined hardware-software approach to speculative multithreading, even in the presence of frequent dependences among threads....
153
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
222
click to vote
GIS
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
140
Voted
CCGRID
2002
IEEE
15 years 8 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
139
click to vote
POPL
2010
ACM
16 years 25 days ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...