1213 search results - page 127 / 243 » Traceability for System Families |
107
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
105
click to vote
MHCI
2004
Springer
15 years 6 months ago
2004
Springer
Memory problems are often associated with ageing and are among the most common effects of brain injury. Such problems can severely disrupt daily life and put huge strain on family ...
100
click to vote
ICECCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Complexity arises from many sources – both within and outwith the system. Internal sources include modern hardware, e.g. super-scalar processors, and external sources include th...
106
Voted
FPGA
1999
ACM
15 years 5 months ago
1999
ACM
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...
100
click to vote
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...