Sciweavers

10707 search results - page 190 / 2142
» Designing executable abstractions
Sort
View
134
Voted
DALT
2008
Springer
15 years 5 months ago
Leveraging New Plans in AgentSpeak(PL)
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
Felipe Rech Meneguzzi, Michael Luck
121
Voted
MKWI
2008
188views Business» more  MKWI 2008»
15 years 5 months ago
A Pragmatic Approach to Traceability in Model-Driven Development
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
Markus Aleksy, Tobias Hildenbrand, Claudia Obergfe...
111
Voted
TACO
2008
130views more  TACO 2008»
15 years 3 months ago
Efficient hardware code generation for FPGAs
r acceptance of FPGAs as a computing device requires a higher level of programming abstraction. ROCCC is an optimizing C to HDL compiler. We describe the code generation approach i...
Zhi Guo, Walid A. Najjar, Betul Buyukkurt
146
Voted
ACSAC
2010
IEEE
15 years 1 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
128
Voted
FDL
2003
IEEE
15 years 9 months ago
Design and Power Analysis in SysteC of an I2C Bus Driver
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
Marco Caldari, Massimo Conti, Paolo Crippa, Simone...