3879 search results - page 256 / 776 » PyPBS design and methodologies |
176
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
We outline a general methodology for the formal verification of pipeline conflicts in RISC cores. The different kinds of conflicts that can occur due to the simultaneous execution...
175
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
153
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
After a survey of some realizations of self-replicating machines, this paper presents the construction based selfreplication of universal 3D structures. This self-replication proc...
126
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
145
click to vote
ACL
2008
15 years 7 months ago
2008
The focus of this study is positive feedback in one-on-one tutoring, its computational modeling, and its application to the design of more effective Intelligent Tutoring Systems. ...