708 search results - page 21 / 142 » Precise Specification and Automatic Application of Design Pa... |
155
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
118
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The classification of protein sequences using string algorithms provides valuable insights for protein function prediction. Several methods, based on a variety of diff...
152
click to vote
DAC
2003
ACM
15 years 8 months ago
2003
ACM
We present a novel method to efficiently generate, compress and apply test patterns in a logic BIST architecture. Patterns are generated by a modified automatic test pattern gener...
112
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
119
click to vote
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...