2030 search results - page 266 / 406 » Designing Complex Software Implementation Programs |
84
Voted
FGCS
2006
15 years 2 months ago
2006
6 Dedicated library support for mesh-level geometry components, central to numerical PDE solution, is scarce. We claim that the situation is due to the inadequacy of traditional de...
166
Voted
JCST
2010
14 years 9 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
107
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
133
click to vote
MIDDLEWARE
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
117
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...