1916 search results - page 273 / 384 » Reconfiguring a state machine |
WSC
2007
13 years 11 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
ISQED
2010
IEEE
13 years 11 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
ACL
2008
13 years 10 months ago
2008
Paraphrases have proved to be useful in many applications, including Machine Translation, Question Answering, Summarization, and Information Retrieval. Paraphrase acquisition meth...
BCSHCI
2007
2007
Introducing the companions project: intelligent, persistent, personalised interfaces to the internet
13 years 10 months ago
The Companions project is a 4 year, EU funded Framework Programme 6 project involving a consortium of 16 partners across 8 countries. Its aim is to develop a personalised conversa...