Search results for: Juha Plosila
Concurrency and Computation: Practice and Experience > 30 > 7 > n/a - n/a
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
IEEE Transactions on Computers > 2016 > 65 > 3 > 730 - 743
Communications in Computer and Information Science > Innovative Computing Technology > Networks > 319-327