1888 search results - page 34 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
139
Voted
FAC
2008
15 years 2 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
109
click to vote
IJCAI
1997
15 years 3 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
132
Voted
ASE
2005
15 years 2 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
101
click to vote
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
145
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...