3605 search results - page 636 / 721 » System and simulation modeling using SysML |
110
click to vote
ICPP
1997
IEEE
15 years 7 months ago
1997
IEEE
Most of recent research on distributed shared memory (DSM)systems have focused on either careful design of node controllersor cache coherenceprotocols. Whileevaluating these desig...
155
click to vote
PPL
2008
15 years 3 months ago
2008
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...
136
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
133
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
137
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
RFID is widely used to track the movement of goods through a supply chain. In this paper, we extend the domain of RFID by presenting SixthSense, a platform for RFID-based enterpri...