6960 search results - page 1073 / 1392 » Continuity Analysis of Programs |
154
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
141
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
148
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
162
click to vote
IEEEIAS
2009
IEEE
15 years 11 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...
136
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
—With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleave...