3879 search results - page 178 / 776 » PyPBS design and methodologies |
132
click to vote
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
136
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
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...
126
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
In this paper we describe a design exploration methodology for clustered VLIW architectures. The central idea of this work is a set of three techniques aimed at reducing the cost ...
151
click to vote
WOA
2007
15 years 5 months ago
2007
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
134
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
This paper addresses the stabilization of a class of nonlinear systems in the presence of disturbances, using switching controllers. To this effect we introduce two new classes o...