3236 search results - page 149 / 648 » Designing better phages |
123
Voted
CCR
2004
15 years 4 months ago
2004
Wireless links have intrinsic characteristics that affect the performance of transport protocols; these include variable bandwidth, corruption, channel allocation delays, and asym...
110
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents a new type of sequential technology independent synthesis. Building on the previous notions of combinational observability and sequential equivalence, sequenti...
171
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
126
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
131
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
Our ability to improve decision making in software development hinges on understanding how decisions are made, and which approaches to decision making are better than others. Howev...