3864 search results - page 201 / 773 » time 2005 |
169
click to vote
DSD
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
162
click to vote
ETFA
2005
IEEE
16 years 4 days ago
2005
IEEE
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
182
click to vote
HOTI
2005
IEEE
16 years 4 days ago
2005
IEEE
A partitioned TCAM-based search engine is presented that increases packet forwarding rate multiple times over traditional TCAMs. The model works for IPv4 and IPv6 packet forwardin...
165
click to vote
HPDC
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we argue that a broad range of Internet-scale distributed applications can benefit from an underlying low-cost consistency detection framework – an alternative to...
132
click to vote
ICALT
2005
IEEE
16 years 4 days ago
2005
IEEE
Using cases for teaching and learning has received growing attention in teacher training programs. This project intends to build a web forum for student teachers to discuss their ...