3931 search results - page 268 / 787 » Separation logic and abstraction |
137
click to vote
CSMR
2006
IEEE
16 years 23 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
163
click to vote
ICCSA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
157
click to vote
ADAEUROPE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
165
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
156
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We present a throughput-driven partitioning algorithm and a throughput-preserving merging algorithm for the high-level physical synthesis of latency-insensitive (LI) sys...