6197 search results - page 253 / 1240 » Sandbridge Software Tools |
185
click to vote
EMSOFT
2005
Springer
16 years 1 days 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...
181
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
For users who peruse the World Wide Web to locate potentially useful security-related tools, the typical information contained in most sites - a pointer to the tool and, optionall...
209
click to vote
ISCAPDCS
2008
15 years 8 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
151
click to vote
ERSA
2006
15 years 8 months ago
2006
Abstract-- We have continued development of Optically Reconfigurable Gate Arrays (ORGAs) to realize larger virtual gate count VLSIs than currently available VLSIs. The grain and st...
160
click to vote
DEXAW
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper reports findings from a survey on students' attitude towards the use of Web 2.0 tools in a Romanian university. The purpose of the study is threefold: i) establish ...