3706 search results - page 224 / 742 » KtSeqC: System Description |
169
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
164
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
163
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
171
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
Camera phones present new opportunities and challenges for mobile informationassociation and retrieval. The visual input in the real environment is a new and rich interaction moda...
200
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...