126 search results - page 16 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
102
click to vote
IFL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
100
click to vote
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
100
click to vote
CSC
2009
15 years 23 days ago
2009
Small-world networks have become an important model for understanding many complex phenomena in science and in sociological contexts. One tool for exploring the critical and phase...
103
click to vote
FOIKS
2010
Springer
14 years 9 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
BIOSYSTEMS
2007
14 years 11 months ago
2007
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...