858 search results - page 138 / 172 » Formal Verification of Digital Systems |
102
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
121
click to vote
FLAIRS
2001
15 years 3 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
129
click to vote
NSDI
2004
15 years 3 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
123
Voted
CSIE
2009
IEEE
15 years 3 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
101
click to vote
LDTA
2010
15 years 2 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...