2520 search results - page 306 / 504 » Model-checking behavioral programs |
114
Voted
DCOSS
2007
Springer
15 years 8 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
113
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
123
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper describes a Java-based communication middleware, called AspectJRMI, that applies aspect-oriented programming concepts to achieve the following requirements: (1...
105
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
99
Voted
ISLPED
1999
ACM
15 years 6 months ago
1999
ACM
In this paper, we propose a technique that uses an additional mini cache, the L0-Cache, located between the instruction cache I-Cache and the CPU core. This mechanism can provid...