Sciweavers

10575 search results - page 1821 / 2115
» T2Script Programming Language
Sort
View
SOCO
2010
Springer
15 years 8 months ago
An Advice for Advice Composition in AspectJ
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...
Fuminobu Takeyama, Shigeru Chiba
ESWS
2007
Springer
15 years 8 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
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...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
113
Voted
EUROSYS
2007
ACM
15 years 8 months ago
Integrating aspect-orientation and structural annotations to support adaptive middleware
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...
Holger Mügge, Tobias Rho, Armin B. Cremers
HOTOS
2007
IEEE
15 years 8 months ago
Towards a Practical, Verified Kernel
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...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
161
Voted
FPL
2009
Springer
132views Hardware» more  FPL 2009»
15 years 8 months ago
Binary Synthesis with multiple memory banks targeting array references
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...
Yosi Ben-Asher, Nadav Rotem
« Prev « First page 1821 / 2115 Last » Next »