1494 search results - page 287 / 299 » Monitored Software Components - A Novel Software Engineering... |
MJ
2011
13 years 4 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
IV
2010
IEEE
13 years 7 months ago
2010
IEEE
—Networks are widely used in modeling relational data often comprised of thousands of nodes and edges. This kind of data alone implies a challenge for its visualization as it is ...