Bijoy A. Jose
TitoloCitata daAnno
SCGPSim: A fast SystemC simulator on GPUs
M Nanjundappa, HD Patel, BA Jose, SK Shukla
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), 149-154, 2010
702010
An alternative polychronous model and synthesis methodology for model-driven embedded software
BA Jose, SK Shukla
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), 13-18, 2010
262010
Generating multi-threaded code from polychronous specifications
BA Jose, HD Patel, SK Shukla, JP Talpin
Electronic Notes in Theoretical Computer Science 238 (1), 57-69, 2009
222009
Smt based false causal loop detection during code synthesis from polychronous specifications
BA Jose, A Gamatie, J Ouy, SK Shukla
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
192011
On the deterministic multi-threaded software synthesis from polychronous specifications
BA Jose, SK Shukla, HD Patel, JP Talpin
2008 6th ACM/IEEE International Conference on Formal Methods and Models for …, 2008
192008
Emcodesyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications
BA Jose, J Pribble, L Stewart, SK Shukla
2009 Forum on Specification & Design Languages (FDL), 1-6, 2009
162009
Faster software synthesis using actor elimination techniques for polychronous formalism
BA Jose, J Pribble, SK Shukla
2010 10th International Conference on Application of Concurrency to System …, 2010
112010
Delay optimized redundant binary adders
B Jose, D Radhakrishnan
2006 13th IEEE International Conference on Electronics, Circuits and Systems …, 2006
112006
Debugging multi-core systems-on-chip
B Vermeulen, K Goossens
Multi-Core Embedded Systems, 185-230, 2018
102018
Mricdf: A polychronous model for embedded software synthesis
BA Jose, SK Shukla
Synthesis of Embedded Software, 173-199, 2010
102010
An offline online strategy for iot using mqtt
A Sahadevan, D Mathew, J Mookathana, BA Jose
2017 IEEE 4th International Conference on Cyber Security and Cloud Computing …, 2017
92017
An analysis of the composition of synchronous systems
BA Jose, B Xue, SK Shukla
Electronic Notes in Theoretical Computer Science 245, 69-84, 2009
72009
A differential quantizer-based error feedback modulator for analog-to-digital converters
AVJ Prakash, BR Jose, J Mathew, BA Jose
IEEE Transactions on Circuits and Systems II: Express Briefs 65 (1), 21-25, 2017
62017
Technical Report on MRICDF models
BA Jose, J Pribble, SK Shukla
fERMAT Technical Report 2010-01, 2010
62010
Fast redundant binary partial product generators for Booth multiplication
B Jose, D Radhakrishnan
2007 50th Midwest Symposium on Circuits and Systems, 297-300, 2007
62007
Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software
BA Jose, A Gamatié, M Kracht, SK Shukla
52011
Technical report on EmCodeSyn models: STARMAC and Producer-Consumer examples
BA Jose, L Stewart, J Pribble, SK Shukla
FERMAT Lab, Virginia Tech, Tech. Rep 2, 2009, 2009
42009
Formal transformation of a kpn specification to a gals implementation
S Suhaib, BA Jose, SK Shukla, DA Mathaikutty
2008 Forum on Specification, Verification and Design Languages, 84-89, 2008
42008
Performance analysis of virtualized embedded computing systems
D Mathew, BA Jose
2017 7th International Symposium on Embedded Computing and System Design …, 2017
32017
Redundant binary partial product generators for compact accumulation in Booth multipliers
BA Jose, D Radhakrishnan
Microelectronics journal 40 (11), 1606-1612, 2009
32009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20