10666 search results - page 1848 / 2134 » Quantum programming languages |
141
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
114
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
134
Voted
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
162
click to vote
FPL
2009
Springer
15 years 8 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...
143
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....