3256 search results - page 395 / 652 » Applications of Formal Methods to System Design and Verifica... |
139
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
149
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
203
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
181
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Learning styles, as well as the best ways of responding with corresponding instructional strategies, have been intensively studied in the classical educational (classroom) setting...
226
click to vote
ECRTS
2007
IEEE
16 years 28 days ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...