Search results for: Juha Plosila
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Refinement > 737-756
Lecture Notes in Computer Science > Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation > 278-287
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 2 > 167-172
Lecture Notes in Computer Science > Embedded Computer Systems: Architectures, Modeling, and Simulation > Processor Architectures, Design and Simulation > 122-131
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 383-395
Communications in Computer and Information Science > Innovative Computing Technology > Networks > 319-327
The Journal of Supercomputing > 2015 > 71 > 8 > 2877-2899
Design Automation for Embedded Systems > 2014 > 18 > 3-4 > 295-327