Sciweavers

3879 search results - page 372 / 776
» PyPBS design and methodologies
Sort
View
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
16 years 8 days ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
ASYNC
1999
IEEE
100views Hardware» more  ASYNC 1999»
15 years 11 months ago
RAPPID: An Asynchronous Instruction Length Decoder
This paper describes an investigation of potential advantages and risks of applying an aggressive asynchronous design methodology to Intel Architecture. RAPPID ("Revolving As...
Shai Rotem, Ken S. Stevens, Charles Dike, Marly Ro...
DAC
2006
ACM
16 years 23 days ago
Variation-aware analysis: savior of the nanometer era?
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
Sani R. Nassif, Vijay Pitchumani, N. Rodriguez, De...
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
16 years 11 days ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
ATAL
2005
Springer
16 years 10 days ago
From concepts to agents: towards a framework for multi-agent system modelling
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Richard Hill, Simon Polovina, Martin D. Beer