126 search results - page 16 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
139
Voted
IFL
2004
Springer
15 years 8 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...
128
Voted
SIGSOFT
2002
ACM
16 years 3 months 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...
138
Voted
CSC
2009
15 years 3 months 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...
129
Voted
FOIKS
2010
Springer
15 years 21 days 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 ...
122
Voted
BIOSYSTEMS
2007
15 years 2 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 ...