1156 search results - page 79 / 232 » The PENG System: Practice and Experience |
ICDCS
2005
IEEE
15 years 4 months ago
2005
IEEE
A pass-through server such as an NFS server backed by an iSCSI[1] storage server only passes data between the storage server and NFS clients. Ideally it should require at most one...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
ECIR
2007
Springer
15 years 20 days ago
2007
Springer
Query-independent features (also called document priors), such as the number of incoming links to a document, its Page-Rank, or the type of its associated URL, have been successfu...
ICFEM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
MSE
2003
IEEE
15 years 4 months ago
2003
IEEE
Embedded systems have become common place in industry and domestic electronics, resulting in the need for educational institutions to teach advanced embedded systems design. Exper...