1054 search results - page 101 / 211 » From a Verified Kernel towards Verified Systems |
199
click to vote
ICNP
2006
IEEE
16 years 10 days ago
2006
IEEE
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
188
click to vote
JDCTA
2010
15 years 1 months ago
2010
The content and searching method of knowledge base are lack of the consideration of user requirements, it is difficult for the user to select the knowledge satisfy with the user r...
171
click to vote
RTSS
2008
IEEE
16 years 21 days ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
177
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
137
click to vote
ISCAS
2008
IEEE
16 years 21 days ago
2008
IEEE
—Integrated circuit (IC) design for a wireless BCI system is put forward in this paper. The system is composed of an electrode, a stimulator, antennas, and an integrated circuit ...