3931 search results - page 268 / 787 » Separation logic and abstraction |
155
click to vote
CSMR
2006
IEEE
16 years 1 months 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 ...
176
click to vote
ICCSA
2005
Springer
16 years 25 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 ...
187
click to vote
ADAEUROPE
2004
Springer
16 years 22 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...
194
click to vote
JELIA
2004
Springer
16 years 20 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....
183
click to vote
DATE
2010
IEEE
16 years 12 days 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...