10707 search results - page 171 / 2142 » Designing executable abstractions |
149
click to vote
TIM
2010
14 years 10 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
132
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
144
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
111
Voted
SMALLTALK
2007
Springer
15 years 9 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
121
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...