2586 search results - page 180 / 518 » Automatic Abstraction for Congruences |
165
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Dynamic runtimes can simplify parallel programming by automatically managing concurrency and locality without further burdening the programmer. Nevertheless, implementin...
182
click to vote
ARCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
161
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
179
click to vote
IEEESCC
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
196
click to vote
ICDCSW
2007
IEEE
16 years 26 days ago
2007
IEEE
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...