6796 search results - page 94 / 1360 » Java for Embedded Systems |
JPDC
2000
15 years 1 months ago
2000
IPPS
2010
IEEE
15 years 1 days ago
2010
IEEE
141
click to vote
DSD
2007
IEEE
15 years 8 months ago
2007
IEEE
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
136
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
147
click to vote
EDCC
2008
Springer
15 years 3 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...